Advances in Model Representations
نویسنده
چکیده
We review high-level speciication formalisms for Markovian performability models, thereby emphasising the role of structuring concepts as realised par excellence by stochastic process algebras. Symbolic representations based on decision diagrams are presented, and it is shown that they quite ideally support compositional model construction and analysis.
منابع مشابه
Using both Binary and Residue Representations for Achieving Fast Converters in RNS
In this paper, a new method is introduced for improving the efficiency of the Residue Number System, which uses both binary and residue representations in order to represent a number. A residue number system uses the remainder of the division in several different modules. Conversion of a number to smaller ones and carrying out parallel calculations on these numbers greatly increase the speed of...
متن کاملUsing both Binary and Residue Representations for Achieving Fast Converters in RNS
In this paper, a new method is introduced for improving the efficiency of the Residue Number System, which uses both binary and residue representations in order to represent a number. A residue number system uses the remainder of the division in several different modules. Conversion of a number to smaller ones and carrying out parallel calculations on these numbers greatly increase the speed of...
متن کامل3D and 4D Seismic Data Integration in Static and Dynamic Reservoir Modeling: A Review
Reservoir modeling is the process of generating numerical representations of reservoir conditions and properties on the basis of geological, geophysical, and engineering data measured on the Earth’s surface or in depth at a limited number of borehole locations. Therefore, reservoir modeling requires an incorporation of the data from a variety of sources, along with an integration of knowledge a...
متن کاملThe effect of social cognitive representation on the mental property of the body: Evidence based on rubber hand illusion
Mental representations are to be considered as the most advanced aspects of human cognition and in addition to their own physical representations, representations of social cognition of others can also affect the mental experience of each person's ownership of their body. Accordingly, the present research as a quasi-experimental study based on repeated measures, was conducted in order to invest...
متن کاملSaliency Cognition of Urban Monuments Based on Verbal Descriptions of Mental-Spatial Representations (Case Study: Urban Monuments in Qazvin)
Urban monuments encompass a wide range of architectural works either intentionally or unintentionally. These works are often salient due to their inherently explicit or hidden components and qualities in the urban context. Therefore, they affect the mental-spatial representations of the environment and make the city legible. However, the ambiguity of effective components often complicates their...
متن کاملA Universal Investigation of $n$-representations of $n$-quivers
noindent We have two goals in this paper. First, we investigate and construct cofree coalgebras over $n$-representations of quivers, limits and colimits of $n$-representations of quivers, and limits and colimits of coalgebras in the monoidal categories of $n$-representations of quivers. Second, for any given quivers $mathit{Q}_1$,$mathit{Q}_2$,..., $mathit{Q}_n$, we construct a new quiver $math...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001